Modal Probability, Belief, and Actions
نویسنده
چکیده
We investigate a modal logic of probability with a unary modal operator expressing that a proposition is more probable than its negation. Such an operator is not closed under conjunction, and its modal logic is therefore non-normal. Within this framework we study the relation of probability with other modal concepts: belief and action. We focus on the evolution of belief, and propose an integration of revision. For that framework we give a regression algorithm.
منابع مشابه
Motion Planning in Non-Gaussian Belief Spaces (M3P): The Case of a Kidnapped Robot
Planning under uncertainty is a key requirement for physical systems due to the noisy nature of actuators and sensors. Using a belief space approach, planning solutions tend to generate actions that result in information seeking behavior which reduce state uncertainty. While recent work has dealt with planning for Gaussian beliefs, for many cases, a multimodal belief is a more accurate represen...
متن کاملOn Modal Probability and Belief
We investigate a simple modal logic of probability with a unary modal operator expressing that a proposition is more probable than its negation. Such an operator is not closed under conjunction, and its modal logic is therefore non-normal. Within this framework we study the relation of probability with other modal concepts: belief and action.
متن کاملProbabilistic Belief Logics
Modal logics based on Kripke style semantics are the prominent formalism in AI for modeling beliefs Kripke semantics involve a collection of possible worlds and a relation among the worlds called an accessibility relation Dependent on the properties of the accessibility relation di erent modal operators can be captured Belief operators have been modeled by an accessibility relation which produc...
متن کاملMotion Planning in Non-Gaussian Belief Spaces
In environments with information symmetry, uncertain or ambiguous data associations can lead to a multi-modal hypothesis on the robot’s state. Thus, a planner cannot simply base actions on the most-likely state. We propose an algorithm that uses a Receding Horizon Planning approach to plan actions that sequentially disambiguate a multi-modal belief to a uni-modal Gaussian and achieve tight loca...
متن کاملSensing and revision in a modal logic of belief and action
We propose a modal logic of belief and actions, where action might be nondeterministic, and there might be misperception. The agent must be able to revise his beliefs, because (contrarily to knowledge) observations might be inconsistent with his beliefs. We propose a new solution in terms of successor state axioms, which does not resort to orderings of plausibility. Our solution allows for regr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fundam. Inform.
دوره 57 شماره
صفحات -
تاریخ انتشار 2003